First Joint Meeting Brazil Italy of Mathematics Special Session: Mathematical Logic Rio de Janeiro, August 29 - September 02, 2016 Title: A quantificational logic for deducibility Authors: H´ercules de Araujo Feitosa (U

Source URL: www.sbm.org.br

Certificates and Separation Logic Martin Nordio1 , Cristiano Calcagno2 , and Bertrand Meyer1 1 2

Source URL: se.inf.ethz.ch

• Logic
• Theoretical computer science
• Mathematical logic
• Logic in computer science
• Java bytecode
• Hoare logic
• Interpretation
• Separation logic
• Bytecode
• Model theory

Identifying groups of finite Morley rank with a split BN-pair of rank 1 Josh Wiscons University of Colorado, Boulder Josh Wiscons

Source URL: spot.colorado.edu

• Mathematical logic
• Model theory
• Logic
• Morley rank
• Constructible universe
• Von Neumann universe
• Limit ordinal
• Ordinal number
• Saturated model

Archive for Mathematical Logic manuscript No. (will be inserted by the editor) Philipp Gerhardy · Ulrich Kohlenbach Extracting Herbrand Disjunctions by

Source URL: www.mathematik.tu-darmstadt.de

• Logic
• Mathematics
• Abstraction
• Mathematical logic
• Model theory
• Proof theory
• Semantics
• Term algebra
• First-order logic
• Interpretation
• Substitution
• Herbrandization

Towards Rigorously Faking Bidirectional Model Transformations Christopher M. Poskitt1? , Mike Dodds2 , Richard F. Paige2 , and Arend Rensink3 1 Department of Computer Science, ETH Z¨urich, Switzerland

Source URL: se.inf.ethz.ch

• Systems engineering
• Graph rewriting
• Unified Modeling Language
• Model transformation
• Data transformation
• Model checking
• Mathematical logic

First Joint Meeting Brazil Italy of Mathematics Special Session: Mathematical Logic Rio de Janeiro, August 29 - September 02, 2016 Title: Some consequences of Shapiro’s Conjecture Authors: Giuseppina Terzo (Seconda Uni

Source URL: www.sbm.org.br

Results from MathSciNet: Mathematical Reviews on the Web c Copyright American Mathematical Society 2005 MR2108827 (2005h:00A08 Bewersdorff, J¨

Source URL: www.galois-theorie.de

• Mathematical game
• Combinatorial game theory
• Mathematical logic
• Logic
• Combinatorics
• Jrg Bewersdorff

Prof. Dr. Ulrich Kohlenbach Curriculum Vitae Ulrich Wilhelm Kohlenbach CURRENT AFFILIATION:

Source URL: www.mathematik.tu-darmstadt.de

• Formal sciences
• Metalogic
• Proof theory
• Philosophers of mathematics
• Mathematical logic
• Proof mining
• Logic
• Foundations of mathematics
• Workshop on Logic
• Language
• Information and Computation
• Mathematics
• Type theory
• Model theory

Analyzing proofs in analysis∗ Ulrich Kohlenbach Fachbereich Mathematik, J.W.Goethe–Universit¨at Robert–Mayer–Str. 6–10, D–60054 Frankfurt am Main, Germany 1

Source URL: www.mathematik.tu-darmstadt.de

• Logic
• Mathematics
• Mathematical analysis
• Automated theorem proving
• Logic programming
• Logical truth
• Propositional calculus
• Substitution
• Computability theory
• operator
• Spectral theory of ordinary differential equations

Building and Environment, Vol. 26, No. 1, pp, 91 $3.00+0.00 Pergamon Press plc. Printed in Great Britain.

Source URL: www.kmjn.org

• Engineering
• Computer-aided design
• Design engineering
• Conceptual model
• Representation theory
• Academia
• Mathematical model
• 3D modeling
• Logic programming
• User interface
• Duality
• Science and technology